$\mathbb{N}^{+}$ $\subseteq$ $\mathbb{N}$